x^(lg(x)) = 10^4